Selective Area Grown Semiconductor-Superconductor Hybrids: A Basis for Topological Networks

We introduce selective area grown hybrid InAs/Al nanowires based on molecular beam epitaxy, allowing arbitrary semiconductor-superconductor networks containing loops and branches. Transport reveals a hard induced gap and unpoisoned 2e-periodic Coulomb blockade, with temperature dependent 1e features in agreement with theory. Coulomb peak spacing in parallel magnetic field displays overshoot, indicating an oscillating discrete near-zero subgap state consistent with device length. Finally, we investigate a loop network, finding strong spin-orbit coupling and a coherence length of several microns. These results demonstrate the potential of this platform for scalable topological networks among other applications.Comment: NBI QDEV 201

Field effect enhancement in buffered quantum nanowire networks

III-V semiconductor nanowires have shown great potential in various quantum transport experiments. However, realizing a scalable high-quality nanowire-based platform that could lead to quantum information applications has been challenging. Here, we study the potential of selective area growth by molecular beam epitaxy of InAs nanowire networks grown on GaAs-based buffer layers. The buffered geometry allows for substantial elastic strain relaxation and a strong enhancement of field effect mobility. We show that the networks possess strong spin-orbit interaction and long phase coherence lengths with a temperature dependence indicating ballistic transport. With these findings, and the compatibility of the growth method with hybrid epitaxy, we conclude that the material platform fulfills the requirements for a wide range of quantum experiments and applications

Tiny Publics and Social Worlds—Toward a Sociology of the Local. Gary Alan Fine in Conversation With Reiner Keller

Gary Alan FINE gehört weltweit zu den prominentesten Persönlichkeiten der zeitgenössischen soziologischen Ethnografie. In diesem Gespräch spricht er über Einflüsse in seiner akademischen Laufbahn und prägende intellektuelle Entscheidungen. Er gilt als "serieller Ethnograf", der in zahlreichen Feldkontexten gearbeitet hat und dabei einerseits Kleingruppen und eine von Menschen bevölkerte Ethnografie favorisiert, sich andererseits mit Gerüchten, Klatsch und moralischen Geschichten beschäftigt, die in kleinen und größeren Publiken erzählt werden. FINE beschreibt sein theoretisches Kerninteresse als die Untersuchung des Wechselspiels von Struktur, Interaktion und Kultur. In seinem Werk analysiert er die vielfältigen ortsgebundenen Arten und Weisen, in denen Gesellschaft von Menschen in formellen und informellen sozialen Settings verwirklicht wird, angefangen bei Baseballteams über Restaurantküchen oder die Wetterberichterstattung bis hin zum Schachspielen –um nur einige wenige Gegenstände seiner Forschungen zu nennen. Wesentlich beeinflusst durch symbolisch-interaktionistisches Denken und im Rekurs auf weitere wichtige Perspektiven auf soziale Welten plädiert er für eine selbstbewusste Haltung der ethnografischen Forschung und des ethnografischen Schreibens sowie für die Bedeutung der Konzeptarbeit in einer theorie-informierten empirischen Soziologie dessen, was Menschen zusammen tun.Gary Alan FINE is among the most prominent figures in contemporary sociological ethnography worldwide. In this conversation, he talks about influences in his academic career and key intellectual choices. Considered to be a "serial ethnographer" who has worked in multiple settings, his work focuses on small groups and peopled ethnography, as well as on rumors, gossip, and moral story telling in tiny and larger publics. FINE describes his core theoretical interest as residing in the interplay of structure, interaction, and culture and discusses the multiple local ways society is realized by people in formal and informal social settings: ranging from baseball teams, restaurant kitchens, weather reporting to chess players—to name but a few research sites. Influenced by symbolic interactionist thinking and other important approaches to social worlds, he argues for a confident voice of ethnographic research and writing as well as the importance of conceptual work in a theory-informed empirical sociology of what people do together

Type-based allocation analysis for co-recursion in lazy functional languages

This paper presents a novel type-and-effect analysis for pre-dicting upper-bounds on memory allocation costs for co-recursive def-initions in a simple lazily-evaluated functional language. We show thesoundness of this system against an instrumented variant of Launch-bury’s semantics for lazy evaluation which serves as a formal cost model.Our soundness proof requires an intermediate semantics employing indi-rections. Our proof of correspondence between these semantics that weprovide is thus a crucial part of this work.The analysis has been implemented as an automatic inference system.We demonstrate its effectiveness using several example programs thatpreviously could not be automatically analysed.Postprin